Nuprl Definition : tree_node
4,23
postcript
pdf
tree_node(
x
) == inr(
x
)
latex
Definitions
tree_node(
x
)
FDL editor aliases
tree_node
origin